negative-true logic

负真逻辑